#include<stdio.h>
int main()
{
    int n;
    int x;
    while(~scanf("%d",&n))
    { 
        int i = 0;
    for(x=1;x<=n;x++)
    {
        i += x;
    }
    printf("%d\n\n",i);
    }
    return 0;
}